Self-checking Logical Agents
نویسنده
چکیده
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. These axioms are specified via an agent-oriented interval temporal logic defined to this purpose, with fully defined syntax, semantics and pragmatics.
منابع مشابه
Defining and Maintaining Agent's Experience in Logical Agents
In this paper, we extend our previous approach to memory in the DALI language from facts to (sets of) rules, and we extend their management by introducing operators for reasoning about the context and agent is involved in, and about modules that should be associated to that context in the working memory. We exploit and extend our past work where we introduced meta-axioms for run-time self-check...
متن کاملReasoning under compliance assumptions in normative multiagent systems
The use of norms in multiagent systems has proven to be a successful approach in order to coordinate and regulate the behaviour of participating agents. In such normative systems it is generally assumed that agents can obey or disobey norms. In this paper, we develop a logical framework for normative systems that allows reasoning about agents’ abilities under a multitude of norm compliance assu...
متن کاملRuntime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems
This paper deals with assurance of logical agent systems via runtime self-monitoring and checking. We adopt temporal-logic-based special constraints to be dynamically checked at a certain (customizable) frequency. These constraints are based upon a simple interval temporal logic particularly tailored to the agent realm, A-ILTL (‘Agent-Oriented Interval LTL’, LTL standing as customary for ‘Linea...
متن کاملA Logical Framework for the Representation and Verification of Context-aware Agents
We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL∗ with belief and communication modalities, and the resulting logic LOCRS allows us to describe a set of rulebased reasoning agents with bounds on time, memory and communication. The set of rules which are used to model a desired system is derived from OWL 2 RL ontologies. We provide an ax...
متن کاملBig brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane
We consider multi-agent scenarios where each agent controls a surveillance camera positioned in the plane, with fixed position and angle of view, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other’s observation abilities and knowledge derived from these observations. We introduce suitable logical languages for reasoning about ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012